немонотонные логики

немонотонные логики
        НЕМОНОТОННЫЕ ЛОГИКИ — такие логические исчисления, в которых появление новой информации (добавление посылок) может изменить истинность заключения. Таким образом, в Н. л. нарушается принцип монотонности, который характеризует стандартное отношение логического следования следующим образом: если А есть следствие множества посылок Г, тогда А есть также следствие любого множества Д, содержащего Г.
        В реальном мире человеческих рассуждений, как правило, имеют дело с неполной, неточной, изменяющейся и зачастую с противоречивой информацией. В этом случае обычная дедукция неприемлема, в результате чего появился целый спектр различных Н. л.: абдукция, очерчивание, логики убеждения и знания, Н. л. Мак-Дермотта и Дойла, автоэпистимические логики Мура, адаптивные логики Батенса, логики умолчания (default logic) Рейтера и т.д. В качестве примера остановимся на логике умолчания, имеющей довольно-таки богатые выразительные средства, основанные на правилах вывода, называемых «умолчаниями». Они правильны в большинстве (типических) случаев, но допускают некоторые исключения. Из А:В следует С. Интуитивный смысл таков: если известно, что А, и мы не имеем оснований отвергать В (т.е. В не противоречит нашему знанию), то мы можем заключить С. Теория с умолчаниями (или с правилами с умолчаниями) представляет собой пару (D, А), где D есть множество умолчаний, сформулированных в языке первопорядковой логики (см. Логика предикатов) и А есть множество аксиом. Н. л. получили широкую применимость в системах искусственного интеллекта.
        А.С. Карпенко
        Лит.: Логический подход к искусственному интеллекту: От классической логики к логическому программированию. М., 1990. Г л. 4; Brewka С, DixJ., Konolige К. Nonmonotonic Reasoning: An Overview. Stanford, 1995.

Энциклопедия эпистемологии и философии науки. М.: «Канон+», РООИ «Реабилитация». . 2009.

Игры ⚽ Нужна курсовая?

Полезное


Смотреть что такое "немонотонные логики" в других словарях:

  • логика —         ЛОГИКА (от греч. logik (logos) слово, разум, рассуждение) наука о правильных (корректных) рассуждениях. Традиционно рассуждение состоит из последовательности предложений, названных посылками, из которых следует единственное предложение,… …   Энциклопедия эпистемологии и философии науки

  • Логика — Гр …   Википедия

  • Логик — Логика (др. греч. λογική «наука о рассуждении», «искусство рассуждения» от λόγος  «речь», «рассуждение»)  наука о формах, методах и законах интеллектуальной познавательной деятельности, формализуемых с помощью логического языка. Поскольку это… …   Википедия

  • Логика (философия) — Логика (др. греч. λογική «наука о рассуждении», «искусство рассуждения» от λόγος  «речь», «рассуждение»)  наука о формах, методах и законах интеллектуальной познавательной деятельности, формализуемых с помощью логического языка. Поскольку это… …   Википедия

  • Логическое мышление — Логика (др. греч. λογική «наука о рассуждении», «искусство рассуждения» от λόγος  «речь», «рассуждение»)  наука о формах, методах и законах интеллектуальной познавательной деятельности, формализуемых с помощью логического языка. Поскольку это… …   Википедия

  • Логичность — Логика (др. греч. λογική «наука о рассуждении», «искусство рассуждения» от λόγος  «речь», «рассуждение»)  наука о формах, методах и законах интеллектуальной познавательной деятельности, формализуемых с помощью логического языка. Поскольку это… …   Википедия

  • искусственный интеллект —         ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ (от лат. intellectus познание, понимание, рассудок) направление исследований в современной компьютерной науке, целью которого является имитация и усиление интеллектуальной деятельности человека посредством… …   Энциклопедия эпистемологии и философии науки

  • когнитивные рассуждения —         КОГНИТИВНЫЕ РАССУЖДЕНИЯ (от лат. cognitio знание, познание) правдоподобные рассуждения, посредством которых из фактов и имеющихся знаний выводится новое знание. Общей характеристикой К. р. является их недедуктивный характер: из истинности …   Энциклопедия эпистемологии и философии науки

  • логика в компьютерных науках —         ЛОГИКА В КОМПЬЮТЕРНЫХ НАУКАХ способы прикладного использования логики, подразделяемые на четыре основных направления. Первое логика как теоретический инструмент при проектировании вычислительных устройств. Второе реализация логических… …   Энциклопедия эпистемологии и философии науки

  • Расчёт надёжности — Для улучшения этой статьи желательно?: Проставить интервики в рамках проекта Интервики. Расчёт надёжности  это процедура определени …   Википедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»